How to extract numbers from a string